结合冠层密度的森林净初级生产力遥感估测

【目的】 森林冠层密度与林分年龄、植被生长状况有关,在区域森林净初级生产力遥感估测中,结合森林冠层密度以期提高估测精度。【方法】 以广东省韶关市为研究对象,选用2017年Landsat-8 OLI影像、2017年357块森林资源连续清查固定样地数据为主要信息源,分别采用随机森林、多元线性回归、人工神经网络和K最近邻分类法等4种模型,结合森林冠层密度制图器(FCD)进行区域森林净初级生产力特征变量的选取、参数建模、模型精度评价和森林净初级生产力空间制图。【结果】 特征变量中,红光波段(B4)、归一化植被指数(NDVI)、比值植被指数(RVI)、叶面积指数(LAI)、缨帽变换土壤植被因子、纹理特征和地形特征在森林净初级生产力反演中有重要作用。将森林冠层密度因子加入反演模型后,4种遥感估测模型精度均有大幅度提高。对4种遥感估测模型进行性能比较,随机森林模型精度最高,其次是多元线性回归模型、人工神经网络模型,K-最近邻分类模型精度最低。研究区内森林净初级生产力平均值为10.689 t/(hm²·a),高森林净初级生产力 [≥18 t/(hm²·a)]林分面积仅占研究区的19.61%,主要分布在海拔较高的西北部。【结论】 结合冠层密度进行森林净初级生产力的建模,可有效提高模型估测精度。     

基于Petri网的ECA规则集终止性分析

对于ECA(event-condition-action)规则集,由于其行为特性较为复杂,终止性分析比较困难.在Petri网理论的基础上,提出了一种扩展Petri网系统,建立了ECA规则集模型,能够较好地表示ECA规则的行为特性;利用Petri网分析方法,对ECA规则行为进行了分析,并利用可达图和T_不变量方法对ECA规则集的终止性进行了分析.经过实例验证,该方法效果良好.     

BP网络的改进及其应用

阐述了人工神经网络基本原理,研究分析了BP神经网络模型的缺陷并提出了优化策略.建立了求高分子材料本构关系的三层前馈反向传播神经网络模型,并作了多次不同的泛化性测试.实例分析表明,改进的BP网络在收敛速度及稳定性方面都有很好的效果,可应用于求高分子材料本构关系.     

神经网络技术在桥梁构件声波检测中的应用研究

随着桥梁工程建设的发展,其混凝土构件质量检测显得越来越重要.采用非线性的BP神经网络方法技术,利用声波的运动学和动力学特征参数,在已知样本参数的约束下,对桥梁混凝土构件缺陷进行多参数综合检测,就方法技术而言是可行的.通过对某大桥混凝土腹板裂缝采用非线性BP神经网络方法技术进行综合检测,其结果验证正确,证明了该方法技术的有效性,且较常规的线性方法技术有着更高的精度和可靠性.为BP神经网络方法技术的应用探索了一个新的领域.     

企业信息网络平台搭建与规划

阐述了建设统一、综合的企业信息网络平台的必要条件,详细论述对网络技术的选用原则,提出搭建企业信息网络平台的规划思路,按照“统一规划、统一平台、统一管理”的原则,搭建企业信息网络平台,规划建设应根据”高起点、高标准、高集成”以及先进性和实用性相结合的指导思想。     

用网络图的方法解决动态规划中的一维资源分配问题

动态规划是目前解决多阶段决策过程的基本方法,在应用中需要列方程、列表．操作起来很复杂．通过对比发现,在离散变量且数目比较少的情况下,用网络图的方法来解决．更简单、明了．     

信息物理融合系统可信软件形式化建模与分析

从多Agent系统的角度,以Petri网和π演算为语义基础,建立了一种信息物理融合系统（cyber-physical systems,CPS）可信软件形式化模型（high-confidence software formal model,HCSFM）. HCSFM以Petri网形象地描述CPS可信软件静态结构模型及动态行为,用Petri网分析方法和支持工具对模型进行分析和验证; 利用π演算刻画CPS可信软件中Agent的加入、退出、更新和体系结构重配置等动态演化机制,并研究Agent的演化策略及演化后CPS的一致性,确保动态演化后CPS软件能正常交互,从而为CPS软件设计提供可信保障. 通过HCSFM在无人驾驶车辆编队CPS中的应用,表明HCSFM可以有效地对CPS可信软件进行建模和分析.     

基于CPN的智能合约交易顺序依赖漏洞的验证

智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自顶向下地对合约本身及其执行环境建立着色Petri网模型,并引入攻击者模型来考虑合约遭受攻击的情况。通过运行模型以验证合约存在交易顺序依赖漏洞,最后基于Remix平台在以太坊网络中证实结论的正确性。     

基于支持向量机的导弹动力系统动态过程仿真

为了对导弹动力系统动态过程进行仿真,研究了基于支持向量机方法的动态仿真技术。仿真结果与试车数据比较表明,支持向量机对发动机推力的动态变化过程进行了很好的仿真;与基于神经网络的计算结果比较表明,该模型的计算时间短、精度高,可用于液体火箭推进系统的实时状态监控、故障诊断及控制系统设计等方面。     

罗克韦尔E3 Plus智能电机过载继电器的应用

主要介绍了罗克韦尔智能过载继电器E3 Plus的功能、特点，论述了其在成庄矿洗选厂原煤车间的应用。